|
In mathematics, a generalized flag variety (or simply flag variety) is a homogeneous space whose points are flags in a finite-dimensional vector space ''V'' over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth or complex manifold, called a real or complex flag manifold. Flag varieties are naturally projective varieties. Flag varieties can be defined in various degrees of generality. A prototype is the variety of complete flags in a vector space ''V'' over a field F, which is a flag variety for the special linear group over F. Other flag varieties arise by considering partial flags, or by restriction from the special linear group to subgroups such as the symplectic group. For partial flags, one needs to specify the sequence of dimensions of the flags under consideration. For subgroups of the linear group, additional conditions must be imposed on the flags. The most general concept of a generalized flag variety is a conjugacy class of parabolic subgroups of a semisimple algebraic or Lie group ''G'': ''G'' acts transitively on such a conjugacy class by conjugation, and the stabilizer of a parabolic ''P'' is ''P'' itself, so that the generalized flag variety is isomorphic to ''G''/''P''. It may also be realised as the orbit of a highest weight space in a projectivized representation of ''G''. In the algebraic setting, generalized flag varieties are precisely the homogeneous spaces for ''G'' which are complete as algebraic varieties. In the smooth setting, generalized flag manifolds are the compact flat model spaces for Cartan geometries of parabolic type, and are homogeneous Riemannian manifolds under any maximal compact subgroup of ''G''. Flag manifolds can be symmetric spaces. Over the complex numbers, the corresponding flag manifolds are the Hermitian symmetric spaces. Over the real numbers, an ''R''-space is a synonym for a real flag manifold and the corresponding symmetric spaces are called symmetric ''R''-spaces. ==Flags in a vector space== (詳細はsubspaces, where "increasing" means each is a proper subspace of the next (see filtration): : If we write the dim ''V''''i'' = ''d''''i'' then we have : where ''n'' is the dimension of ''V''. Hence, we must have ''k'' ≤ ''n''. A flag is called a ''complete flag'' if ''d''''i'' = ''i'', otherwise it is called a ''partial flag''. The ''signature'' of the flag is the sequence (''d''1, …, ''d''''k''). A partial flag can be obtained from a complete flag by deleting some of the subspaces. Conversely, any partial flag can be completed (in many different ways) by inserting suitable subspaces. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「generalized flag variety」の詳細全文を読む スポンサード リンク
|